More from this Author
Found 5 books by Javier Esparza (Editor)
Tools and Algorithms for the Construction and Analysis of Systems
by Javier Esparza (Editor), Rupak Majumdar (Editor)
Automata, Languages, and Programming
by Javier Esparza (Editor), Pierre Fraigniaud (Editor), Thore Husfeldt (Editor), Elias Koutsoupias (Editor)
Automata, Languages, and Programming
by Javier Esparza (Editor), Pierre Fraigniaud (Editor), Thore Husfeldt (Editor), Elias Koutsoupias (Editor)
Automata, Languages, and Programming
by Javier Esparza (Editor), Pierre Fraigniaud (Editor), Thore Husfeldt (Editor), Elias Koutsoupias (Editor)
Automated Technology for Verification and Analysis
by Chen Yu-Fang (Editor), Chih-Hong Cheng (Editor), Javier Esparza (Editor)